%verify "executed"
    b       common_returnFromMethod
